退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:机器可验证和可读证明的自动生成:以Tarski几何为例
Stojanovic Durdevic, Sana; Narboux, Julien; Janicic, Predrag;
机译:自动生成机器可验证和可读的证明:以塔斯基几何学为例
机译:几何定理的可读机方法的回顾与展望
机译:平面几何中的视觉动态演示证明:第2部分。使用全角度方法和演绎数据库方法自动生成视觉动态演示
机译:用质量点法自动生成可读证明的建设性几何语句
机译:通过自动生成证明义务来分析设计。
机译:支持向量机用于自动打S检测:概念验证
机译:人类可读机器可读(HRmR)信息处理器的系统设计研究。
机译:半自动生成机器可读技术的方法和系统生产模块的技能描述
机译:标准化机器可读格式中数据的自动生成和传输的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。